Bultan, Ö.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 13th conference - New York, NY, USA (2004.05.17-2004.05.20)] Proceedings of the 13th conference on World Wide Web - WWW '04 - Analysis of interacting BPEL web services

Fu, Xiang, Bultan, Tevfik, Su, Jianwen

Year:

2004

Language:

english

File:

PDF, 281 KB

english, 2004

2

Efficient Symbolic Representations for Arithmetic Constraints in Verification

Bartzis, Constantinos, Bultan, Tevfik

Journal:

International Journal of Foundations of Computer Science

Year:

2003

Language:

english

File:

PDF, 2.32 MB

english, 2003

3

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Bounded verification of Ruby on Rails data models

Nijjar, Jaideep, Bultan, Tevfik

Year:

2011

Language:

english

File:

PDF, 363 KB

english, 2011

4

[IEEE 2004 IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications - Barcelona, Spain (5-8 Sept. 2004)] 2004 IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications (IEEE Cat. No.04TH8754) - Complexity and efficiency of data detection algorithms for TD-SCDMA

Jung-Lin Pan,, Jaeyoung Kwak,, Bultan, A., Yuejin Huang,, Grieco, D.

Year:

2004

Language:

english

File:

PDF, 314 KB

english, 2004

5

Clinical Evaluation of Zygomatic Implant-Supported Fixed and Removable Prosthesis

Atalay, Belir, Doğanay, Özge, Saraçoğlu, Banu Karayazgan, Bultan, Özgür, Hafiz, Günter

Journal:

Journal of Craniofacial Surgery

Year:

2017

Language:

english

File:

PDF, 482 KB

english, 2017

6

Guest editorial: emerging areas in automated software engineering research

Bultan, Tevfik, Zeller, Andreas

Journal:

Automated Software Engineering

Year:

2017

Language:

english

File:

PDF, 268 KB

english, 2017

7

[IEEE 2020 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2020.5.18-2020.5.21)] 2020 IEEE Symposium on Security and Privacy (SP) - JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation

Brennan, Tegan, Rosner, Nicolas, Bultan, Tevfik

Year:

2020

File:

PDF, 1.14 MB

2020

8

A new mapping heuristic based on mean field annealing

Tevfik Bultan, Cevdet Aykanat

Journal:

Journal of Parallel and Distributed Computing

Year:

1992

Language:

english

File:

PDF, 1.61 MB

english, 1992

9

Past pushdown timed automata and safety verification

Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

10

Conversation protocols: a formalism for specification and verification of reactive electronic services

Xiang Fu, Tevfik Bultan, Jianwen Su

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 362 KB

english, 2004

11

Counter Machines and Verification Problems

Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

12

A fast neural-network algorithm for VLSI cell placement

Cevdet Aykanat, Tevfik Bultan, İsmail Haritaoğlu

Journal:

Neural Networks

Year:

1998

Language:

english

File:

PDF, 423 KB

english, 1998

13

Interface-Based Specification and Verification of Concurrency Controllers

Aysu Betin-Can, Tevfik Bultan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 939 KB

english, 2003

14

Highly dependable concurrent programming using design for verification

Aysu Betin-Can, Tevfik Bultan

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.05 MB

english, 2007

15

A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

Tuba Yavuz-Kahveci, Tevfik Bultan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 404 KB

english, 2003

16

Efficient BDDs for bounded arithmetic constraints

Constantinos Bartzis, Tevfik Bultan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 665 KB

english, 2006

17

Automated verification of access control policies using a SAT solver

Graham Hughes, Tevfik Bultan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 1.32 MB

english, 2008

18

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Aysu Betin Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp

Journal:

Automated Software Engineering

Year:

2007

Language:

english

File:

PDF, 1.87 MB

english, 2007

19

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of

Tevfik Bultan, Constance Heitmeyer

Journal:

Design Automation for Embedded Systems

Year:

2008

Language:

english

File:

PDF, 712 KB

english, 2008

20

Experimenting with software testbeds for evaluating new technologies

Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif Memon, Marvin Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Chris Ackermann, Bettina Anders, Sima Asgari, Victor Basili, Lorin Hochstein, Jörg Fellmann, Fo

Journal:

Empirical Software Engineering

Year:

2007

Language:

english

File:

PDF, 502 KB

english, 2007

21

Action Language verifier: an infinite-state model checker for reactive software specifications

Tuba Yavuz-Kahveci, Tevfik Bultan

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 2.54 MB

english, 2009

22

Specification of realizable service conversations using collaboration diagrams

Tevfik Bultan, Xiang Fu

Journal:

Service Oriented Computing and Applications

Year:

2008

Language:

english

File:

PDF, 402 KB

english, 2008

23

Circuit partitioning using mean field annealing

Tevfik Bultan, Cevdet Aykanat

Journal:

Year:

1995

Language:

english

File:

PDF, 1.64 MB

english, 1995

24

Runtime Verification of Web Service Interface Contracts

Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.

Journal:

Year:

2010

Language:

english

File:

PDF, 1.27 MB

english, 2010

25

Analyzing conversations of Web services

Bultan, T., Su, J., Fu, X.

Journal:

IEEE Internet Computing

Year:

2006

Language:

english

File:

PDF, 237 KB

english, 2006

26

Synchronizability of conversations among Web services

Fu, X., Bultan, T., Su, J.

Journal:

IEEE Transactions on Software Engineering

Year:

2005

Language:

english

File:

PDF, 709 KB

english, 2005

27

Interface Grammars for Modular Software Model Checking

Hughes, G., Bultan, T.

Journal:

IEEE Transactions on Software Engineering

Year:

2008

Language:

english

File:

PDF, 4.69 MB

english, 2008

28

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6996 || Algorithms for Synthesizing Priorities in Component-Based Systems

Bultan, Tevfik, Hsiung, Pao-Ann

Year:

2011

Language:

english

File:

PDF, 409 KB

english, 2011

29

[IEEE 1998 IEEE International Conference on Acoustics, Speech, and Signal Processing - Seattle, WA, USA (12-15 May 1998)] Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '98 (Cat. No.98CH36181) - A novel time-frequency exciser in spread spectrum communications for chirp-like interference

Bultan, A., Akansu, A.N.

Year:

1998

Language:

english

File:

PDF, 414 KB

english, 1998

30

A four-parameter atomic decomposition of chirplets

Journal:

IEEE Transactions on Signal Processing

Year:

1999

Language:

english

File:

PDF, 834 KB

english, 1999

31

Automata-based symbolic string analysis for vulnerability detection

Yu, Fang, Alkhalaf, Muath, Bultan, Tevfik, Ibarra, Oscar H.

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 973 KB

english, 2014

32

[IEEE International Symposium on Time-Frequency and Time-Scale Analysis - Pittsburgh, PA, USA (6-9 Oct. 1998)] Proceedings of the IEEE-SP International Symposium on Time-Frequency and Time-Scale Analysis (Cat. No.98TH8380) - A comparative performance study of excisers for various interference classes

Bultan, A., Tazebay, M.V., Akansu, A.N.

Year:

1998

Language:

english

File:

PDF, 348 KB

english, 1998

33

[IEEE IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07) - Newport Beach, CA, USA (2007.06.19-2007.06.20)] IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07) - Specification of Realizable Service Conversations Using Collaboration Diagrams

Bultan, Tevfik, Fu, Xiang

Year:

2007

Language:

english

File:

PDF, 182 KB

english, 2007

34

[IEEE Comput. Soc. Press 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing - Munich, Germany (21-24 April 1997)] 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing - A four-parameter atomic decomposition of chirplets

Year:

1997

Language:

english

File:

PDF, 337 KB

english, 1997

35

[ACM International Conference on Software Engineering - Limerick, Ireland (4-11 June 2000)] Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium - Action Language: a specification language for model checking reactive systems

Year:

2000

Language:

english

File:

PDF, 1016 KB

english, 2000

36

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Verification of parameterized hierarchical state machines using action language verifier

Yavuz-Kahveci, T., Bultan, T.

Year:

2005

Language:

english

File:

PDF, 304 KB

english, 2005

37

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - Infinite State Model Checking with Arithmetic Constraints

Year:

2008

File:

PDF, 129 KB

2008

38

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses

Yu, Fang, Alkhalaf, Muath, Bultan, Tevfik

Year:

2009

Language:

english

File:

PDF, 576 KB

english, 2009

39

[IEEE IEEE International Conference on Web Services (ICWS'05) - Orlando, FL, USA (2005.07.11-2005.07.15)] IEEE International Conference on Web Services (ICWS'05) - Verifiable Web services with hierarchical interfaces

Betin-Can, A., Bultan, T.

Year:

2005

Language:

english

File:

PDF, 323 KB

english, 2005

40

[IEEE Comput. Soc. Press Third IEEE Symposium on Parallel and Distributed Processing - Dallas, TX, USA (2-5 Dec. 1991)] Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing - Circuit partitioning using parallel mean field annealing algorithms

Bultan, T., Aykanat, C.

Year:

1991

Language:

english

File:

PDF, 686 KB

english, 1991

41

[IEEE Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Linz, Austria (Sept. 20-24, 2004)] Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Verifiable concurrent programming using concurrency controllers

Betin-Can, A., Bultan, T.

Year:

2004

Language:

english

File:

PDF, 417 KB

english, 2004

42

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Verifying client-side input validation functions using string analysis

Alkhalaf, Muath, Bultan, Tevfik, Gallegos, Jose L.

Year:

2012

Language:

english

File:

PDF, 349 KB

english, 2012

43

[IEEE 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) - Paphos, Cyprus (2006.11.19-2006.11.19)] 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) - Modeling Interactions of Web Software

Year:

2006

Language:

english

File:

PDF, 124 KB

english, 2006

44

[IEEE International Symposium on Time-Frequency and Time-Scale Analysis - Pittsburgh, PA, USA (6-9 Oct. 1998)] Proceedings of the IEEE-SP International Symposium on Time-Frequency and Time-Scale Analysis (Cat. No.98TH8380) - A parallelized matching pursuit algorithm for the four-parameter chirplet decomposition

Bultan, A., Arikan, O.

Year:

1998

Language:

english

File:

PDF, 307 KB

english, 1998

45

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - A Tool for Choreography Analysis Using Collaboration Diagrams

Bultan, Tevfik, Ferguson, Chris, Fu, Xiang

Year:

2009

Language:

english

File:

PDF, 242 KB

english, 2009

46

[IEEE 1999 Asilomar Conference - Pacific Grove, CA, USA (24-27 Oct. 1999)] Conference Record of the Thirty-Third Asilomar Conference on Signals, Systems, and Computers (Cat. No.CH37020) - Channel estimation in noisy conditions using time-frequency domain filtering

Bultan, A., Haddad, R.A.

Year:

1999

Language:

english

File:

PDF, 364 KB

english, 1999

47

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Modular verification of synchronization with reentrant locks

Bultan, Tevfik, Yu, Fang, Can, Aysu Betin

Year:

2010

Language:

english

File:

PDF, 677 KB

english, 2010

48

[ACM Press the twelfth international conference - Budapest, Hungary (2003.05.20-2003.05.24)] Proceedings of the twelfth international conference on World Wide Web - WWW '03 - Conversation specification

Bultan, Tevfik, Fu, Xiang, Hull, Richard, Su, Jianwen

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

49

[IEEE 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - San Francisco, CA, USA (2013.05.25-2013.05.25)] 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - An integrated data model verifier with property templates

Nijjar, Jaideep, Bocic, Ivan, Bultan, Tevfik

Year:

2013

Language:

english

File:

PDF, 356 KB

english, 2013

50

[IEEE Proceedings. IEEE International Conference on Web Services, 2004. - San Diego, CA, USA (2004.07.9-2004.07.9)] Proceedings. IEEE International Conference on Web Services, 2004. - Realizability of conversation protocols with message contents

Xiang Fu,, Bultan, T., Jianwen Su,

Year:

2004

Language:

english

File:

PDF, 396 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски